deductive proof - Turc Anglais Dictionnaire